Nuprl Lemma : set_car_wf
13,42
postcript
pdf
p
:PosetSig. |
p
|
Type
latex
Up
poset
sig
object
directory
Definitions of Statement
PosetSig
,
|
p
|
Definitions
t
.1
,
|
p
|
,
t
T
,
x
:
A
.
B
(
x
)
,
PosetSig
Lemmas
poset
sig
wf
origin